| Name | Version | Summary | date |
|---|---|---|---|
| mapFolding | 0.15.2 | Map folding, meanders, stamp folding, semi-meanders. Experiment with algorithm transformations and code optimization. | 2025-08-08 05:19:34 |
| boring-math-integer-math | 0.8.2 | Integer Mathematics | 2025-08-04 17:39:09 |
| bm.integer-math | 0.7.0 | Integer Mathematics | 2025-07-14 17:59:44 |
| pychoco | 0.2.1 | Python bindings to the Choco Constraint Programming solver | 2024-10-01 13:05:53 |
| formality | 0.0.2 | Formality - Symbolic Mathematics | 2024-03-27 13:44:54 |
| matroid-database | 0.3 | Python interface to matroid database | 2024-03-26 21:28:04 |
| hour | day | week | total |
|---|---|---|---|
| 71 | 1414 | 10516 | 309265 |